Inhalt des Dokuments
Forschung
-
OPCT - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann bei Open Problems in Concurrency Theory at the University Residential Center of Bertinoro, organisiert durch die IFIP WG 1.8 Concurrency Theory.
-
IFIP WG 2.2 Meeting 2013 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann beim jährlichen Treffen der IFIP WG 2.2 Formal Description of Programming Concepts, dieses Mal an der Universidade Nove de Lisboa.
-
TRENDS 2013 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann bei TRENDS 2013, organisiert durch die IFIP WG 1.8 Concurrency Theory, im Rahmen der CONCUR 2013 in Buenos Aires.
-
Artikel akzeptiert (EXPRESS/SOS 2013)
Artikel "Adding Priority to Event Structures" akzeptiert für EXPRESS/SOS 2013 (Co-Autoren Youssef Arbach, Kirstin Peters, Uwe Nestmann)
-
Future Trends in SOC 2013 - Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann zum Thema "Dynamic Coalitions" beim Symposium on Future Trends in Service-Oriented Computing (Future Trends in SOC 2013), am Hasso-Plattner-Institut in Potsdam.
-
Artikel akzeptiert (METHODS 2013)
Artikel "Formal Modeling of Trust-Based Access Control in Dynamic Coalitions" akzeptiert für METHODS 2013 (Autor Nadim Sarrouh), Workshop assoziiert mit IEEE COMPSAC.
-
Dagstuhl Seminar – Eingeladener Vortrag
Eingeladener Vortrag von Uwe Nestmann mit dem Titel "Verifying Consensus ... using Process Calculi, State Machines, and Proof Checkers" beim Dagstuhl Seminar Formal Verification of Distributed Algorithms.